منابع مشابه
Formal Aspects of Computing Protective Interface Specifications ∗
The interface specification of a procedure describes the procedure’s behaviour using preand postconditions. These preand postconditions are written using various functions. If some of these functions are partial, or underspecified, then the procedure specification may not be well-defined. We show how to write preand postcondition specifications that avoid such problems, by having the preconditi...
متن کاملBCS Formal Aspects of Computing Protective Interface Specifications ∗
The interface specification of a procedure describes the procedure’s behaviour using preand postconditions. These preand postconditions are written using various functions. If some of these functions are partial, or underspecified, then the procedure specification may not be well-defined. We show how to write preand postcondition specifications that avoid such problems, by having the preconditi...
متن کاملMulti-fidelity User Interface Specifications
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lead to a user interface that satisfies the user’s needs. The user interface development life cycle typically involves multiple actors possessing all their own particular inputs of user interface artifacts expressed with...
متن کاملProtective Interface Speciications
A version of this paper, without the appendix sections, will appear in the pro
متن کاملProtective Interface Speci cations
The interface speci cation of a procedure describes the procedure s behavior using pre and postconditions These pre and postconditions are written using various functions If some of these functions are partial or underspeci ed then the procedure speci cation may not be well de ned We show how to write pre and postcondition speci cations that avoid such problems by having the precondition protec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 1998
ISSN: 0934-5043
DOI: 10.1007/pl00003926